241. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
پدیدآورنده: K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
418
242. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده: K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
243. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
244. Symbolic Logic and mechanical theorem proving
پدیدآورنده: Chang, Chin-Liang, 7391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C53
1987
245. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده: edited by Linda C. van der Gaag.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
246. Symbolic logic and intelligent machines . English
پدیدآورنده: Edmund Callis Berkeley
کتابخانه: كتابخانه و مركز اسناد بنياد ايران شناسى (تهران)
موضوع: Artificial intelligence,Logic, Symbolic and mathematical
رده :
QA
76
.
B42
1961
247. Symbolic logic and mechanical theorem proving
پدیدآورنده: Chin-Liang Chang, Richard Char-Tung Lee,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
رده :
QA
.
C483
9
1987
248. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chang, Chin- Liang
موضوع : ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
249. Termination proofs for logic programs
پدیدآورنده: Plumer, Lutz
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
63
.
P58
1990
250. Termination proofs for logic programs
پدیدآورنده: Plumer, Lutz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
446
251. Termination proofs for logic programs /
پدیدآورنده: Lutz Plümer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic programming.
رده :
QA76
.
63
.
P58
1990
252. The Logic of Time :
پدیدآورنده: by J.F.A.K. Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
253. The Logic of Time :
پدیدآورنده: by Johan Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
254. The Ordered Weighted Averaging Operators
پدیدآورنده: edited by Ronald R. Yager, Janusz Kacprzyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
255. The Parametric Lambda Calculus :
پدیدآورنده: by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
256. The essential Turing
پدیدآورنده: / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
257. The essential Turing
پدیدآورنده: / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
258. The essential Turing
پدیدآورنده: / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
259. The essential Turing
پدیدآورنده: / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
260. The essential Turing
پدیدآورنده: / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
